mine digging - German English Dictionary